-- Diese Testdatei demonstriert Fehler in der Funktionsdefinition
-- Illegal Return Type
DEF blubb(X:nat):nas 	== true
